From b03ba9f35e6c084c961ff07e80cf14c071fa3efd Mon Sep 17 00:00:00 2001 From: Hauke Mehrtens Date: Sat, 6 Jul 2024 18:07:25 +0200 Subject: [PATCH] github-merge-pr: doc: Install extra git-filter-repo The git filter-repo command is not available by default. Signed-off-by: Hauke Mehrtens --- github-merge-pr.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/github-merge-pr.sh b/github-merge-pr.sh index f294c85..1bd3e2f 100755 --- a/github-merge-pr.sh +++ b/github-merge-pr.sh @@ -6,6 +6,8 @@ # 2. Make sure you can correctly push and force push to the github # repository # +# Make sure to install the extra git-filter-repo package. +# # Usage: github-merge-pr.sh PR_NUMBER BRANCH REPO_NAME # # BRANCH is optional and defaults to main. -- 2.30.2